Synthesis of the synchronization of pipeline systems

The pipeline systems and different subtypes of pipelines are interesting parts of parallel systems in software engineering. That is why it seems to be worth to deal with the possibilities of the specification of the synchronization of these systems. Different methods exist that can be used to synthesize the synchronization of parallel systems based on some kind of specification, but these methods can not be applied directly for pipeline systems, because of some special properties of the pipeline systems, and the methods themselves. The method that seems to be the most promising is the method of Attie and Emerson, which is a synthetization method for many similar processes based on a special temporal logic specification. In this paper we give an extension for this method, so that the extended method is able to handle more properties of parallel systems, especially of pipeline systems. Furthermore, we give an abstract synchronization of the linear pipeline system.